﻿using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace NMF.Languages
{
    public abstract class TypeSystem
    {
        public abstract IEnumerable<Type> Types { get; }

        public abstract Type GetType(string typeName);

        public abstract Class GetCommonBase(Class class1, Class class2);

        public abstract void AssertDataType(DataType dataType);
    }
}
